\begin{defn}
	This is a definition.
\end{defn}

\begin{prop}
	This is a proposition.
\end{prop}
